SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionFebruary 2016) Contents

Source URL: types.cs.washington.edu

• Software
• Computing
• Smartphones
• Java
• Archive formats
• Alphabet Inc.
• Android
• App store
• Type system
• Apache Ant
• Java annotation
• JAR

Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Source URL: www.cs.bu.edu

• Software engineering
• Programming language theory
• Computing
• Type theory
• Functional languages
• Logic in computer science
• Programming paradigms
• Models of computation
• Denotational semantics
• Type system
• Programming language
• Constraint programming

c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful

Source URL: www.cs.bu.edu

• Software engineering
• Theoretical computer science
• Logic
• Logic programming
• Models of computation
• Functional languages
• Computability theory
• Lambda calculus
• Substitution
• Standard ML
• Higher-order abstract syntax
• Security type system

CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090

Source URL: mapcontext.com

• Cartography
• Geographic information systems
• Cartographic generalization
• Communication design
• Graphic design
• Inductive reasoning
• Generalization
• Visual arts
• Software engineering
• Topological map
• HindleyMilner type system
• Topography

Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming languages
• Scripting languages
• Object-oriented programming
• Gradual typing
• Type system
• Type safety
• ActionScript

SCHOOL: SYSTEM: GRADE (of oldest student): PRODUCTION TYPE:

Source URL: www.gsmf.us

SCHOOL: SYSTEM: GRADE (of oldest student): PRODUCTION TYPE:

Source URL: www.gsmf.us

IECEx International Certification: The way to safety compliance in hazardous areas IEC System for Certification to Standards Relating to Equipment for Use in Explosive Atmospheres 2

Source URL: www.iecex.com

• Standards
• Evaluation
• Professional certification
• Engineering
• International Electrotechnical Commission
• Conformity assessment
• Type approval
• Professional studies

ERY SPOT-01/eng We are the experts for HLA and blood group diagnostics With more than 30 years of experience BAG Health Care is the specialist for HLA and blood group diagnostics. As an independent, global operating com

Source URL: www.bag-healthcare.com

• Blood
• Hematology
• Transfusion medicine
• Anatomy
• Medicine
• Blood transfusion
• Blood donation
• Blood type
• ABO blood group system
• Assay

Wyoming Type III Incident Management Team Qualification System (WIMTQS) Guide A qualification system guide for State-certified Incident Management Team personnel in the

Source URL: wyohomelandsecurity.state.wy.us

• Firefighting in the United States
• Emergency management
• Incident management
• Management
• Disaster preparedness
• Federal Emergency Management Agency
• Incident management team
• Incident Command System
• Professional certification
• National Wildfire Coordinating Group
• National Incident Management System
• Incident commander